• Home
  • Advanced Search
  • Directory of Libraries
  • About lib.ir
  • Contact Us
  • History
  • ورود / ثبت نام
تعداد ۳۹۵ پاسخ غیر تکراری از ۴۰۶ پاسخ تکراری در مدت زمان ۰,۴۵ ثانیه یافت شد.

101. Fine Structure and Class forcing

  • اطلاعات استناد دهی
  • BibTex (Only for Users)
  • RIS (Only for Users)
  • Endnote (Only for Users)
  • Refer (Only for Users)
  • Mark (Only for Users)

Author: / S Y D. Friedman

Library: Tehran University, technical faculty libraries 1 (Tehran)

Subject: Forcing (Model Theory)

Classification :
QA
9
.
7
.
F75
2000

102. Fine structure and class forcing

  • اطلاعات استناد دهی
  • BibTex (Only for Users)
  • RIS (Only for Users)
  • Endnote (Only for Users)
  • Refer (Only for Users)
  • Mark (Only for Users)

Author: Friedman, Sy D.

Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)

Subject: ، Forcing )Model theory(

Classification :
QA
9
.
7
.
F75
2000

103. Finite and algorithmic model theory

  • اطلاعات استناد دهی
  • BibTex (Only for Users)
  • RIS (Only for Users)
  • Endnote (Only for Users)
  • Refer (Only for Users)
  • Mark (Only for Users)

Author: / edited by Javier Esparza, Christian Michaux, Charles Steinhorn

Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)

Subject: Finite model theory.,Computer science--Mathematics

Classification :
QA
,
9
.
7
,.
F565
,
2011

104. Finite and algorithmic model theory

  • اطلاعات استناد دهی
  • BibTex (Only for Users)
  • RIS (Only for Users)
  • Endnote (Only for Users)
  • Refer (Only for Users)
  • Mark (Only for Users)

Author:

Library: Central Library and Documents Center of Mazandaran University (Mazandaran)

Subject: Finite model theory. ;

Classification :

105. Finite and algorithmic model theory

  • اطلاعات استناد دهی
  • BibTex (Only for Users)
  • RIS (Only for Users)
  • Endnote (Only for Users)
  • Refer (Only for Users)
  • Mark (Only for Users)

Author: / edited by Javier Esparza, Christian Michaux, Charles Steinhorn

Library: Library of College of Science University of Tehran (Tehran)

Subject: Finite model theory,Computer science -- Mathematics

Classification :
QA
9
.
7
.
F565
2011

106. Finite and algorithmic model theory

  • اطلاعات استناد دهی
  • BibTex (Only for Users)
  • RIS (Only for Users)
  • Endnote (Only for Users)
  • Refer (Only for Users)
  • Mark (Only for Users)

Author: edited by Javier Esparza, Christian Michaux, Charles Steinhorn

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: ، Finite model theory,، Computer science -- Mathematics

Classification :
QA
9
.
7
.
F562

107. Finite model theory

  • اطلاعات استناد دهی
  • BibTex (Only for Users)
  • RIS (Only for Users)
  • Endnote (Only for Users)
  • Refer (Only for Users)
  • Mark (Only for Users)

Author: Ebbinghaus, Heinz-Dieter, 9391-

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: ، Model theory

Classification :
QA
9
.
7
.
E22F5
2006

108. Finite model theory

  • اطلاعات استناد دهی
  • BibTex (Only for Users)
  • RIS (Only for Users)
  • Endnote (Only for Users)
  • Refer (Only for Users)
  • Mark (Only for Users)

Author: Ebbinghaus, Heinz-Dieter, 9391-

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: ، Model theory

Classification :
QA
9
.
7
.
E22F5

109. Finite model theory

  • اطلاعات استناد دهی
  • BibTex (Only for Users)
  • RIS (Only for Users)
  • Endnote (Only for Users)
  • Refer (Only for Users)
  • Mark (Only for Users)

Author: / by Heinz-Dieter Ebbinghaus, Jorg Flum

Library: Library of Institude of Geophysics (Tehran)

Subject: Model theory,Finit groups

Classification :
QA
9
.
7
.
E2
.
F5

110. Finite model theory

  • اطلاعات استناد دهی
  • BibTex (Only for Users)
  • RIS (Only for Users)
  • Endnote (Only for Users)
  • Refer (Only for Users)
  • Mark (Only for Users)

Author: / Heinz-Dieter Ebbinghaus, Jeorg Flum

Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)

Subject: Model theory.

Classification :
QA
,
9
.
7
,.
E23
,
2005

111. Finite model theory

  • اطلاعات استناد دهی
  • BibTex (Only for Users)
  • RIS (Only for Users)
  • Endnote (Only for Users)
  • Refer (Only for Users)
  • Mark (Only for Users)

Author:

Library: Central Library and Document Center of Arak University (Markazi)

Subject: Model theory

Classification :
511
.
34
E15f
1999

112. Finite model theory

پدیدآورنده : Ebbinghaus, Heinz-Dieter

موضوع : ، Model theory

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

113. Finite model theory

  • اطلاعات استناد دهی
  • BibTex (Only for Users)
  • RIS (Only for Users)
  • Endnote (Only for Users)
  • Refer (Only for Users)
  • Mark (Only for Users)

Author: Ebbinghaus, Heinz-Dieter

Library: Central Library and Documentation Center (Kerman)

Subject: ، Model theory

Classification :
QA
9
.
7
.
E23
1999

114. Finite model theory

  • اطلاعات استناد دهی
  • BibTex (Only for Users)
  • RIS (Only for Users)
  • Endnote (Only for Users)
  • Refer (Only for Users)
  • Mark (Only for Users)

Author:

Library: Central Library and Documents Center of Mazandaran University (Mazandaran)

Subject: Model theory. ;

Classification :

115. Finite model theory

  • اطلاعات استناد دهی
  • BibTex (Only for Users)
  • RIS (Only for Users)
  • Endnote (Only for Users)
  • Refer (Only for Users)
  • Mark (Only for Users)

Author: / Heinz-Dieter Ebbinghaus, Jorg Flum

Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)

Subject: Model theory

Classification :
QA9
.
7
.
E23
1999

116. Finite model theory

  • اطلاعات استناد دهی
  • BibTex (Only for Users)
  • RIS (Only for Users)
  • Endnote (Only for Users)
  • Refer (Only for Users)
  • Mark (Only for Users)

Author: / Heinz-Dieter Ebbinghaus, Jorg Flum

Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)

Subject: Model theory

Classification :
E-BOOK

117. Finite model theory

  • اطلاعات استناد دهی
  • BibTex (Only for Users)
  • RIS (Only for Users)
  • Endnote (Only for Users)
  • Refer (Only for Users)
  • Mark (Only for Users)

Author: / Heinz-Dieter Ebbinghaus, Jorg Flum

Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)

Subject: Model theory

Classification :
QA9
.
7
.
E23
1999

118. Finite model theory and its applications

  • اطلاعات استناد دهی
  • BibTex (Only for Users)
  • RIS (Only for Users)
  • Endnote (Only for Users)
  • Refer (Only for Users)
  • Mark (Only for Users)

Author: Erich Gradel ... [et al.]&

Library: Library of Institute For Color Science and Technology (Tehran)

Subject: Finite model theory,Computational complexity,Constraint databases

Classification :
{
1648
},
06fdfb40a6eef9acf992e8ee6bc47b2a

119. Finite model theory and its applications

  • اطلاعات استناد دهی
  • BibTex (Only for Users)
  • RIS (Only for Users)
  • Endnote (Only for Users)
  • Refer (Only for Users)
  • Mark (Only for Users)

Author:

Library: Central Library and Documents Center of Mazandaran University (Mazandaran)

Subject: Finite model theory. ; Computational complexity. ; Constraint databases. ;

Classification :

120. Finite model theory and its applications

  • اطلاعات استناد دهی
  • BibTex (Only for Users)
  • RIS (Only for Users)
  • Endnote (Only for Users)
  • Refer (Only for Users)
  • Mark (Only for Users)

Author: / Erich Gr?ndel ... [et al.]

Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)

Subject: Model theory.

Classification :
  • »
  • 20
  • 19
  • 18
  • 17
  • 16
  • ...
  • 10
  • 9
  • 8
  • 7
  • 6
  • 5
  • 4
  • 3
  • 2
  • 1
  • «

Proposal/Bug Report

Warning! Enter The Information Carefully
Send Cancel
This website is managed by Dar Al-Hadith Scientific-Cultural Institute and Computer Research Center of Islamic Sciences (also known as Noor)
Libraries are responsible for the validity of information, and the spiritual rights of information are reserved for them
Best Searcher - The 5th Digital Media Festival